gdk: Add gdk_device_get_timestamp

Give each device a timestamp that reflects the last
user activity with that device, as reflected in the
events that are produced for this device.

diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c
index f7abfe75b55ac050178228d91a02c5243a407eab..43e9c9f01a8d9c50515cdb936a75eed641691ded 100644 (file)
--- a/gdk/gdkevents.c
+++ b/gdk/gdkevents.c
@@ -414,6 +414,9 @@ gdk_event_alloc (GdkEventType event_type,
   event->device = device != NULL ? g_object_ref (device) : NULL;
   event->time = time_;
 
+  if (device != NULL && time_ != GDK_CURRENT_TIME)
+    gdk_device_set_timestamp (device, time_);
+
   return event;
 }